Null/knockout Rps12-ps1/Xist<tm1Nbd> MGI:3047790 DeltaCJ+neo http://identifiers.org/mgd/MGI:3047790 targeted mutation 1, Neil Brockdorff